devbox VSCode Extension
Devbox
のshell環境でVSCodeを開く
VSCode Extension
cmd-pして
Devbox: Reopen
のやつを実行すればいい
https://marketplace.visualstudio.com/items?itemName=jetpack-io.devbox
https://www.jetify.com/docs/devbox/ide_configuration/vscode/